An Ontology for Specifying and Tracing Requirements Engineering Artifacts and Test Artifacts

Tracing Software Requirements Artifacts

The support for traceability between requirement specifications has been recognised as an important task in the development life-cycle of software systems. In this paper we present an approach for automatic generation and maintenance of bi-directional traceability relations between commercial and functional requirements expressed in natural language, and requirement object models. The generatio...

Languages and frameworks for specifying test artifacts

syntax A con guration is a labeled graph, where vertices represent system nodes andedges represent di erent kinds of connection between nodes. Each node has a symbolic identi er.For example, Figure 4.6 shows three nodes having identi ers x, y and z. This means that any scenarioreferring to C3 must involve lifelines for nodes x, y and z. In order to allow for a richer represen-ta...

Communication Artifacts and Interaction Evaluation for Requirements Engineering

Design and Use of an Ontology for Complex Artifacts

During the past decade we have developed OCA, an ontology dedicated to complex artifacts. OCA has been applied extensively within the domain of communication systems and has proven a valuable tool for building models of both products and processes. Today, OCA is tightly integrated with a modeling method called MacroModelingTechnique (MMT). OCA-based MMT has increased the effectivness of model b...

An Ontology of Functional Concepts of Artifacts

This paper proposes an ontology of functional concepts of artifacts, which provides a rich and well-organized vocabulary for functional representation. It includes nine types of the roles played by a function for another function, named meta-functions, such as “to enable” and “to drive”. They represent interdependence between functions and an important part of the design rationale of artifacts....